Leo Bachmair (auth.): search on Z-Library

Fundraising September 15, 2024 – October 1, 2024 About fundraising

Your gateway to knowledge and culture. Accessible for everyone.

Fundraising September 15, 2024 – October 1, 2024

Z-Library is one of the largest online libraries in the world that contains over 17,000,000 books and 84,837,000 articles. We aim to make literature accessible to everyone. Today (September 15, 2024) we've started additional fundraising to project maintenance and development.

Also UNLIMITED downloads (for 31 days after the day of making donation) are available for ALL contributors who will donate during the fundraising period till October 1, 2024.

About fundraisingRead more

Make a donation

Books (9)
Most Popular
List
- List
- Table

1

Conditional and Typed Rewriting Systems: 4th International Workshop, CTRS-94 Jerusalem, Israel, July 13–15, 1994 Proceedings

Conditional and Typed Rewriting Systems: 4th International Workshop, CTRS-94 Jerusalem, Israel, July 13–15, 1994 Proceedings

Springer-Verlag Berlin Heidelberg

Leo Bachmair, Harald Ganzinger (auth.), Nachum Dershowitz, Naomi Lindenstrauss (eds.)

Year:

1995

Language:

english

File:

DJVU, 3.52 MB

0 / 0

english, 1995

2

Rewriting Techniques and Applications: 11th International Conference, RTA 2000, Norwich, UK, July 10-12, 2000. Proceedings

Rewriting Techniques and Applications: 11th International Conference, RTA 2000, Norwich, UK, July 10-12, 2000. Proceedings

Springer-Verlag Berlin Heidelberg

José Meseguer (auth.), Leo Bachmair (eds.)

Year:

2000

Language:

english

File:

PDF, 2.25 MB

0 / 0

english, 2000

3

Computational Logic and Proof Theory: 5th Kurt Gödel Colloquium, KGC '97 Vienna, Austria, August 25–29, 1997 Proceedings

Computational Logic and Proof Theory: 5th Kurt Gödel Colloquium, KGC '97 Vienna, Austria, August 25–29, 1997 Proceedings

Springer-Verlag Berlin Heidelberg

Leo Bachmair (auth.), Georg Gottlob, Alexander Leitsch, Daniele Mundici (eds.)

Year:

1997

Language:

english

File:

PDF, 24.09 MB

0 / 0

english, 1997

4

Computational Logic and Proof Theory: 5th Kurt Gödel Colloquium, KGC '97 Vienna, Austria, August 25–29, 1997 Proceedings

Computational Logic and Proof Theory: 5th Kurt Gödel Colloquium, KGC '97 Vienna, Austria, August 25–29, 1997 Proceedings

Springer-Verlag Berlin Heidelberg

Leo Bachmair (auth.), Georg Gottlob, Alexander Leitsch, Daniele Mundici (eds.)

Year:

1997

Language:

english

File:

DJVU, 3.05 MB

0 / 0

english, 1997

5

Canonical Equational Proofs

Canonical Equational Proofs

Birkhäuser Basel

Leo Bachmair (auth.)

Year:

1991

Language:

english

File:

PDF, 4.63 MB

0 / 0

english, 1991

6

Recent Trends in Data Type Specification: 10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop S. Margherita, Italy, May 30 – June 3, 1994 Selected Papers

Recent Trends in Data Type Specification: 10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop S. Margherita, Italy, May 30 – June 3, 1994 Selected Papers

Springer-Verlag Berlin Heidelberg

Leo Bachmair, Harald Ganzinger, Jürgen Stuber (auth.), Egidio Astesiano, Gianna Reggio, Andrzej Tarlecki (eds.)

Year:

1995

Language:

english

File:

DJVU, 6.44 MB

0 / 0

english, 1995

7

Conditional and Typed Rewriting Systems: 4th International Workshop, CTRS-94 Jerusalem, Israel, July 13–15, 1994 Proceedings

Conditional and Typed Rewriting Systems: 4th International Workshop, CTRS-94 Jerusalem, Israel, July 13–15, 1994 Proceedings

Springer-Verlag Berlin Heidelberg

Leo Bachmair, Harald Ganzinger (auth.), Nachum Dershowitz, Naomi Lindenstrauss (eds.)

Year:

1995

Language:

english

File:

PDF, 5.98 MB

0 / 0

english, 1995

8

Recent Trends in Data Type Specification: 10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop S. Margherita, Italy, May 30 – June 3, 1994 Selected Papers

Recent Trends in Data Type Specification: 10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop S. Margherita, Italy, May 30 – June 3, 1994 Selected Papers

Springer-Verlag Berlin Heidelberg

Leo Bachmair, Harald Ganzinger, Jürgen Stuber (auth.), Egidio Astesiano, Gianna Reggio, Andrzej Tarlecki (eds.)

Year:

1995

Language:

english

File:

PDF, 11.68 MB

0 / 0

english, 1995

9

Rewriting Techniques and Applications: 11th International Conference, RTA 2000, Norwich, UK, July 10-12, 2000. Proceedings

Rewriting Techniques and Applications: 11th International Conference, RTA 2000, Norwich, UK, July 10-12, 2000. Proceedings

Springer-Verlag Berlin Heidelberg

José Meseguer (auth.), Leo Bachmair (eds.)

Year:

2000

Language:

english

File:

PDF, 3.52 MB

0 / 0

english, 2000